- machine abstract
- машинный реферат
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
Abstract Machine Notation — (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B Method, based on the mathematical theory of Generalised Substitutions.Referencesee also* Formal methods * Formal specification … Wikipedia
Machine (disambiguation) — Machine can refer to: * Machine, a device that performs a task * Rube Goldberg machine, an especially elaborate or complex device * abstract machine * Political machine, ex. Cook County Democratic Organization * The Machine, a muscle car made by… … Wikipedia
Machine à différences — Machine analytique Reproduction moderne de la Machine analytique de Charles Babbage, fabriquée en 1992 pour le Musée des Sciences de Londres La machine analytique (analytical engine en anglais) est une machine de calcul inventée et créée en 1834… … Wikipédia en Français
Machine Translations — is the recording and touring name of J Walker, an Australian singer, songwriter and multi instrumentalist. J Walker started out recording all instruments himself in a home studio, but has now branched out to include a band in his recent works.… … Wikipedia
Abstract machine — An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in Automata theory. Abstraction of computing processes is used in both the computer science and computer engineering… … Wikipedia
Abstract state machines — In computer science, an abstract state machine (ASM) is a state machine in which the number of states need not be finite and in which the states are not mere points in the state space. More precisely, an ASM state is a structure in the sense of… … Wikipedia
Abstract State Machine — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten,… … Deutsch Wikipedia
Machine abstraite de Warren — Warren s Abstract Machine La Warren s Abstract Machine (Machine abstraite de Warren) est une machine virtuelle permettant d implémenter le langage Prolog. Cette machine est composée d un jeu d instructions spécial ainsi que d une mémoire. Elle a… … Wikipédia en Français
Abstract State Machines — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationalen Beschreibung von Algorithmen. Anders als bei endlichen Automaten,… … Deutsch Wikipedia
Abstract type — This article discusses types with no direct members; see also Abstract data type. In software engineering, an abstract type is a type in a nominative type system which is declared by the programmer, and which has the property that it contains no… … Wikipedia
Abstract Syntax Notation One — In telecommunications and computer networking, Abstract Syntax Notation One (ASN.1) is a standard and flexible notation that describes data structures for representing, encoding, transmitting, and decoding data. It provides a set of formal rules… … Wikipedia